$\forall$$a$:$\mathbb{N}$, $n$:$\mathbb{N}^{+}$. (($a$ rem $n$) rem $n$) = ($a$ rem $n$)